Calibrating, Counting, Grounding, Grouping Michael Miller 4 Madhura Nirkhe 4
نویسندگان
چکیده
Even an \elementary" intelligence for control of the physical world will require very many kinds of knowledge and ability. Among these are ones related to perception, action, and reasoning about \near space": that region comprising one's body and the portion of space within reach of one's eeectors; chief among these are individuation and categorization of objects. These in turn are made useful in part by the additional capacities to estimate category size, change one's beliefs about categories, and form new categories or revise old categories. In this position paper we point out some issues in knowledge representation that can arise with respect to the above capacities, and suggest that the framework of \active logics" (see below) may be marshaled toward solutions. We will conduct our discussion in terms of learning to understand in a semantically explicit way one's own sensori-motor system and its interactions with near-space objects.
منابع مشابه
Calibrating, Counting, Grounding, Grouping
Even an "elementary" intelligence for control of the physical world will require very many kinds of knowledge and ability. Among these are ones related to perception, action, and reasoning about "near space": that region comprising one’s body and the portion of space within reach of one’s effectors; chief among these are individuation and categorization of objects. These in turn are made useful...
متن کاملThinking takes time: A modal active-logic for reasoning in time*
1IBM, ZIP 1214, Building 003 1000 NW 51st Street Boca Raton, FL 33431 2Department of Mathematics and Computer Science Bar Ilan University Ramat Gan, 52900 Israel 3Institute for Advanced Computer Studies University of Maryland, College Park, MD 20742 4Department of Computer Science University of Maryland, College Park, MD 20742 [email protected], [email protected], [email protected] A...
متن کاملTime-Situated Reasoning within Tight Deadlines and Realistic Space and Computation Bounds
We develop an effective representational and inferential framework for fully deadline-coupled, time-situated problem solving. Our effort is to model an agent in a tight and rigid deadline situation, in need of successfully formulating and executing a deadline-feasible plan of action as the world around the agent continues to change. We highlight the severe time-pressure under which the agent mu...
متن کاملReaching agreements through argumentation: (Preliminary Report)*
In a multi-agent environment, where selfmotivated (selfish) agents try to pursue their own goals, cooperation can not be taken for granted. Cooperation must be planned for and achieved through communication and negotiation. We look at argumentation as a mechanism for achieving cooperation and agreement. Using categories identified from human multiagent negotiation, we present a basis for an axi...
متن کاملActive Logics: A Uni ed Formal Approach to Episodic Reasoning
First-order logic doesn't have a good concept of time. Abstract Artiicial intelligence research falls roughly into two categories: formal and implementational. This division is not completely rm: there are implementational studies based on (formal or informal) theories (e.g., CYC, SOAR, OSCAR), and there are theories framed with an eye toward implementability (e.g., predicate circumscription). ...
متن کامل